#include <stdio.h>

int isRunNian(int yyyy); //返回1则是闰年，返回0则不是闰年
int main()
{
    int yyyy, k = 0; //k用来统计闰年数目，k为0则输出None
    scanf("%d", &yyyy);
    if (yyyy < 2001 || yyyy > 2100)
    {
        printf("Invalid year!");
    }
    else
    {
        for (int i = 2001; i < yyyy + 1; i++)
        {
            if (isRunNian(i))
            {
                k++;
                printf("%d\n", i);
            }
        }
        if (k == 0)
        {
            printf("None");
        }
    }
    return 0;
}

int isRunNian(int yyyy)
{
    int k = 0;
    if (yyyy % 400 == 0 || yyyy % 4 == 0 && yyyy % 100 != 0)
    {
        k = 1;
    }
    return k;
}